idlnk-deq == product-deq(Id; (:Id  Id); id-deq; product-deq(Id; Id; id-deq; id-deq)) 

latex

Definitions	x:A  B(x), product-deq(A; B; a; b), Id, id-deq
FDL editor aliases	idlnk-deq